Rezumat articol ediţie STUDIA UNIVERSITATIS BABEŞ-BOLYAI

În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului.

 
       
         
    STUDIA INFORMATICA - Ediţia nr.Sp. Issue 1 din 2014  
         
  Articol:   EMBEDDED RESOURCE TOOL IN HASKELL.

Autori:  TAMÁS KOZSIK. 		 
       
         
  Rezumat:   In our previous work [4], we have created a way to check size annotations of higher-order polymorphic functional programs supporting nested lists. By extending the lambda-calculus, these annotations are able to express the relations between sizes of arguments and those of the corresponding results of functions. These relations are exact, and can be nonlinear and non-monotonic polynomials. We provided a way for verifi cation condition generation as well. This paper focuses on how it is possible to implement this extended lambda calculus as an embedded DSL.

2010 Mathematics Subject Classi cation. 68N18, 68N30.1998 CR Categories and Descriptors. D.1.1 [Programming Techniques]: Applicative (Functional) Programming - embedding a functional language into a functional language; D.3.1 [Programming Languages]: Formal De finitions and Theory - syntax, semantics.

Key words and phrases. resource analysis, embedded domain-specific language. Supported by the Ministry of Human Resources of Hungary, contract No. 18370-9/2013/TUDPOL.
 
         
     
         
         
      Revenire la pagina precedentă